Making real-time systems fault tolerant: a specification-based approach
نویسندگان
چکیده
To make an event-triggered real-time system safe in application layer, this study presents a specification-based run-time verification (RV) and fault tolerance approach in following steps: i) System is isolated from its environment by modeling interaction between them; ii) Considering safety requirements violation, observation-verification-tolerance rules are systematically obtained; and iii) Rules are weaved into control software (called software instrumentation) by an automatic way. For effectiveness, proposed approach is applied to classic and real-time Railroad Crossing Control System (RCCS).
منابع مشابه
A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition
It is widely agreed that building correct fault-tolerant systems is very difficult. To address this problem, this paper introduces a new model-based approach for developing masking fault-tolerant systems. As in component-based software development, two (or more) component specifications are developed, one implementing the required normal behavior and the other(s) the required fault-handling beh...
متن کاملTowards Middleware for Fault-Tolerance in Distributed Real-Time and Embedded Systems
Distributed real-time and embedded (DRE) systems often require support for multiple simultaneous quality of service (QoS) properties, such as real-timeliness and fault tolerance, that operate within resource constrained environments. These resource constraints motivate the need for a lightweight middleware infrastructure, while the need for simultaneous QoS properties require the middleware to ...
متن کاملUpcoming Automotive Standards for Fault-tolerant Communication: Flexray and Osektime Ftcom.∗
A safety-critical system needs fault-tolerant communication between its components. This is especially important for automotive domain, as it consists of distributed real-time systems that are based on the results of the communication. To realize distributed systems with predictable time behavior the time-triggered paradigm is used. According to this paradigm, a time-triggered communication pro...
متن کاملTowards a Contract-based Fault-tolerant Scheduling Framework for Distributed Real-time Systems
The increasing complexity of real-time systems has lead to the adaptation of component based methods for their development which has a promising potential for faster and more cost effective development of complex real-time systems by facilitating reuse of the real-time components. This is enabled by the components’ composition using contracts, which ensures ’correctness by construction’. Modern...
متن کاملFault-Tolerant Real-Time Mach: A Timeline-based approach
Even though real-time systems have the stringent constraint of completing tasks before their deadlines, many existing real-time operating systems do not implement fault tolerance capabilities. In this paper we describe the development and implementation of a non-preemptive fault tolerant real-time policy for aperiodic dynamic tasks. We implemented non-preemptive fault-tolerant scheduling and re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010